大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Generalized Recursion Theory 的图书(共8282本)

Experimental Algorithms [electronic resource] : 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings

0
索取号：
作者：Pardalos、 Panos M.、Rebennack、 Steffen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Density Matrix Theory and Applications [electronic resource]

0
索取号：
作者：Blum、 Karl.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Logic-Based Program Synthesis and Transformation [electronic resource] : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

0
索取号：
作者：Alpuente、 Mar铆a.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Chaos-Based Cryptography [electronic resource] : Theory,Algorithms and Applications

0
索取号：
作者：Kocarev、 Ljupco.、Lian、 Shiguo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Selected Problems of Fractional Systems Theory [electronic resource]

0
索取号：
作者：Kaczorek、 Tadeusz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Cryptology-EUROCRYPT 2011 [electronic resource] : 30th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tallinn, Estonia, May 15-19, 2011. Proceedings

0
索取号：
作者：Paterson、 Kenneth G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

NASA Formal Methods [electronic resource] : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

0
索取号：
作者：Bobaru、 Mihaela.、Havelund、 Klaus.、Holzmann、 Gerard J.、Joshi、 Rajeev.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Fundamentals in Information Theory and Coding [electronic resource]

0
索取号：
作者：Borda、 Monica.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Geodesy for Planet Earth [electronic resource] : Proceedings of the 2009 IAG Symposium, Buenos Aires, Argentina, 31 August 31 - 4 September 2009

0
索取号：
作者：Kenyon、 Steve.、Pacino、 Maria Christina.、Marti、 Urs.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Environment and the Formation of Galaxies: 30 years later [electronic resource] : Proceedings of Symposium 2 of JENAM 2010

0
索取号：
作者：Ferreras、 Ignacio.、Pasquali、 Anna.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Statistics for High-Dimensional Data [electronic resource] : Methods, Theory and Applications

0
索取号：
作者：B眉hlmann、 Peter.、van de Geer、 Sara.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Perspectives in Electronic Structure Theory [electronic resource]

0
索取号：
作者：Nalewajski、 Roman F.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Ambient Intelligence - Software and Applications [electronic resource] : 2nd International Symposium on Ambient Intelligence (ISAmI 2011)

0
索取号：
作者：Novais、 Paulo.、Preuveneers、 Davy.、Corchado、 Juan M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

International Symposium on Distributed Computing and Artificial Intelligence [electronic resource]

0
索取号：
作者：Abraham、 Ajith.、Corchado、 Juan M.、Gonz谩lez、 Sara Rodr铆guez.、Paz Santana、 Juan F.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Compiler Construction [electronic resource] : 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings

0
索取号：
作者：Knoop、 Jens.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Information and Automation [electronic resource] : International Symposium, ISIA 2010, Guangzhou, China, November 10-11, 2010. Revised Selected Papers

0
索取号：
作者：Qi、 Luo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院